Parameterized Communicating Automata! Complementation and Model Checking Benedikt Bollig, Paul Gastin, and Akshay Kumar Laboratoire Spécification et Vérification! ENS Cachan & CNRS, France

Source URL: www.lsv.ens-cachan.fr

Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2

Source URL: www.cse.unsw.edu.au

• Theoretical computer science
• Formal methods
• Applied mathematics
• Program analysis
• Model checking
• Formal verification
• Static program analysis
• Abstract interpretation
• Red Lizard Software
• Model checkers
• Software
• NuSMV

Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name :

Source URL: www-i2.informatik.rwth-aachen.de

• Scientific modelling
• Formal methods
• Science
• Knowledge
• Ethology
• Model checking
• RWTH Aachen University
• Computer Aided Verification

PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool Musab AlTurki Jos´e Meseguer

Source URL: calco2011.ecs.soton.ac.uk

• Parallel computing
• Theoretical computer science
• Speedup
• Monte Carlo method
• Model checking
• Scalability
• Tandem Computers
• Stochastic
• Quantitative analyst
• Mathematics
• Applied mathematics
• Computing

MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in

Source URL: www.cis.upenn.edu

• Theoretical computer science
• Computer programming
• Concurrency control
• Model checking
• Parallel computing
• Linearizability
• Correctness
• Software bug
• Consistency model
• Computing
• Transaction processing
• Software engineering

Checking NewsML Conformance O ne of the conditions of use for NewsML is that applications should conform to

Source URL: iptc.cms.apa.at

• International Press Telecommunications Council
• IPTC Information Interchange Model
• NewsML
• News Industry Text Format
• NewsML-G2
• NewsML 1
• Metadata
• Data
• Information

IMPLEMENTING AND VERIFYING THE SAFETY OF THE TRANSACTOR MODEL By Brian Boodman A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute

Source URL: wcl.cs.rpi.edu

• Distributed computing
• Actor model
• Information
• Algorithm
• Model checking
• Communications protocol
• Computing
• Concurrent computing
• Data

Curriculum Vitae Dr Daniele Magazzeni Current Position Position:

Source URL: www.inf.kcl.ac.uk

• Planning Domain Definition Language
• Planner
• Automated planning and scheduling
• Artificial intelligence
• Model checking

Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls

Source URL: www.cse.unsw.edu.au

• Data types
• Type theory
• Theoretical computer science
• Program analysis
• Programming language implementation
• Abstract interpretation
• Type system
• Model checking
• Programming language
• Software engineering
• Computing
• Computer programming